Mathematical problem

Results: 2693



#Item
471Model theory / Predicate logic / Semantics / Lambda calculus / Logic in computer science / First-order logic / Skolem normal form / Interpretation / Function / Logic / Mathematical logic / Mathematics

Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog

Add to Reading List

Source URL: who.rocq.inria.fr

Language: English - Date: 2011-01-28 11:35:50
472Mechanism design / Mathematical economics / Auction theory / Preference / General equilibrium theory / Auction / Business / Problem solving / Game theory / Economics / Wharton School of the University of Pennsylvania

Changing the Course Allocation Mechanism at Wharton* by Eric Budish† and Judd B. Kessler‡ This Draft: October 21, 2014 ABSTRACT This paper reports on an experiment conducted at the Wharton School of the University

Add to Reading List

Source URL: faculty.chicagobooth.edu

Language: English - Date: 2014-10-22 20:26:53
473Fellows of the Royal Society / Mathematics education / Mathematical game / Mathematical puzzle / Recreational mathematics / John Horton Conway / Mathematical problem / Combinatorics / Roger Penrose / Mathematics / Science / British people

S B G BELGIAN MATHEMATICAL SOCIETY

Add to Reading List

Source URL: bms.ulb.ac.be

Language: English - Date: 2010-11-13 06:23:31
474Ordinary differential equations / Partial differential equations / Heat equation / Heat transfer / Integral / Boundary value problem / Calculus / Mathematical analysis / Mathematics

This article was downloaded by: [University of Limerick], [Sarah Mitchell] On: 06 July 2011, At: 01:26 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered office:

Add to Reading List

Source URL: www.staff.ul.ie

Language: English - Date: 2011-07-06 04:26:58
475Unitary operators / Fourier transform / Fourier series / Digital signal processing / Mathematical analysis / Joseph Fourier / Fourier analysis

Periodicity and Cyclic Shifts via Linear Sketches Michael S. Crouch? and Andrew McGregor?? Department of Computer Science, University of Massachusetts, Amherst, MAAbstract. We consider the problem of identifying p

Add to Reading List

Source URL: people.cs.umass.edu

Language: English - Date: 2011-06-21 17:46:25
476Educational psychology / Problem solving / Economic model / Mathematical model / Function / Diagram / Conceptual model / Logic / Mathematics / Ethology / Thought

Mathematics Interim Assessment Blocks Blueprint VThe following tables summarize the Interim Assessment Blocks available at each grade level. Specific information on each block follows these tables.

Add to Reading List

Source URL: www.smarterbalanced.org

Language: English - Date: 2015-02-11 17:43:04
477Metalogic / Logic in computer science / Formal languages / Model theory / Modal logic / Method of analytic tableaux / Well-formed formula / Boolean satisfiability problem / Satisfiability / Logic / Mathematical logic / Mathematics

October 27, 2013 Journal of Applied Non-Classical Logics main

Add to Reading List

Source URL: files.oliverfriedmann.de

Language: English - Date: 2013-10-27 20:44:29
478Applied mathematics / Linear programming / Convex optimization / Combinatorial optimization / Duality / Simplex algorithm / Assignment problem / Constraint / Linear-fractional programming / Mathematical optimization / Operations research / Mathematics

LINEAR PROGRAMMING A Concise Introduction Thomas S. Ferguson Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

Add to Reading List

Source URL: www.usna.edu

Language: English - Date: 2009-01-22 13:46:48
479Science / Operations research / Ethics / Philosophy of science / Design / Problem solving / Systems engineering process / Mathematical optimization / Reliability engineering / Systems engineering / Systems science / Engineering

APPENDIX C – Grade-Banded Engineering Design Standards K-12 Grade-Banded Engineering Design Standards The iterative cycle of design offers the opportunity for students to apply science knowledge in the classroom and e

Add to Reading List

Source URL: www.doe.sd.gov

Language: English - Date: 2015-05-18 13:03:06
480Operations research / Network flow / Mathematical optimization / Maximum flow problem / Shortest path problem / Optimal control / Flow network / Graph / Dynamic programming / Mathematics / Graph theory / Theoretical computer science

New complexity results for time-constrained dynamical optimal path problems

Add to Reading List

Source URL: www.emis.ams.org

Language: English - Date: 2010-02-01 11:59:55
UPDATE